
import scala.quoted.*

object Test {
  def loop[T](x: Expr[T])(implicit t: Type[T], qctx: Quotes): Expr[T] = '{
    val y: T = $x
    ${loop('y)}
  }
}
